Basic research - PDFSEARCH.IO - Document Search Engine

Basic research
Results: 2119

#	Item
311	Links to onAir Neuroscience Hubs Top Level Hub * Neuroscience Basic Research Behavioral Neuroscience Add to Reading List Source URL: neuroscience.onair.cc - Date: 2015-06-11 19:43:36
312	BRICS RS-05-8 P. D. Mosses: Exploiting Labels in Structural Operational Semantics BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2005-03-21 06:24:57 Programming language semantics Applied mathematics Symbol Denotational semantics State transition system Operational semantics Theoretical computer science Models of computation Logic in computer science
313	BRICS RSBogetoft et al.: Secure Computing, Economy, and Trust: A Generic Solution for Secure Auctions BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2005-06-06 07:42:15 Business Auction Secure multi-party computation Trusted third party Universal composability Vickrey auction Online auction business model Bid Cryptography Auction theory Auctioneering Cryptographic protocols
314	BRICS BRICS NS-94-2 Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2003-12-04 07:20:36 Differential equation Problem solving Automated theorem proving Heuristics Rippling
315	BRICS RSJ. Srba: On Counting the Number of Consistent Genotype Assignments for Pedigrees BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2005-10-28 11:08:01
316	BRICS DS-03-7 M. J. C´accamo: A Formal Calculus for Categories BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2004-07-06 06:58:50
317	BRICS RSAceto et al.: Finite Equational Bases in Process Algebra: Results and Open Questions BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2005-06-12 16:51:01 Boolean algebra Algebraic structures Probability theory Mathematical structures Universal algebra Sigma-algebra Model theory Structure Independence Mathematics Mathematical logic Abstract algebra
318	BRICS BRICS NS-94-5 Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2003-12-08 09:05:47
319	Defense Forensics and Biometrics Agency (DFBA) BROAD AGENCY ANNOUNCEMENT FOR BASIC, APPLIED & ADVANCED SCIENTIFIC RESEARCH Add to Reading List Source URL: www.arl.army.mil Language: English - Date: 2013-07-17 14:56:06 Biometrics National security Department of Defense Cyber Crime Center Law Fingerprint Forensic science Broad Agency Announcement Forensic identification U.S. Air Force Office of Special Investigations Identification Surveillance Security
320	BRICS Basic Research in Computer Science BRICS RSL. Santocanale: A Calculus of Circular Proofs and its Categorical Semantics A Calculus of Circular Proofs and Add to Reading List Source URL: www.brics.dk Language: English - Date: 2001-05-09 04:26:17 Universal property Lambda calculus Functor Combinatory logic Initial algebra Function Equivalence of categories Sheaf Coproduct Mathematics Category theory Abstract algebra

UPDATE